Benveniste on the Benveniste affair
نویسندگان
چکیده
منابع مشابه
Albert Benveniste , Paul Caspi , Paul
In this paper, we present a theory of synchronous data-ow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-ow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish...
متن کاملAlbert Benveniste , Stefan Haar , Eric Fabre ,
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on Petri net unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This report is an extended version of the paper with same title, which appeared as a plenary ...
متن کاملAlbert Benveniste , Eric Fabre , Stefan Haar
For distributed systems, i.e., large complex networked systems, there is a drastic difference between a local view and knowledge of the system, and its global view. Distributed systems have local state and time, but do not possess global state and time in the usual sense. In this paper, motivated by the monitoring of distributed systems and in particular of telecommunications networks, we devel...
متن کاملJean - Marc Jézéquel , Albert Benveniste , Claude Jard N ̊ 4003
The UML (Uniied Modelling Language) comprises various types of notations, to model the functional architecture, the behaviour of its components, and its deployment. Dynamic diagrams provide descriptions of the components and system behaviour. Examples of dynamic diagrams are collaboration and sequence diagrams to specify high level abstractions for sequences of actions involving several compone...
متن کاملEvent Structure Semantics of Orc Sidney Rosario , David Kitchin , Albert Benveniste
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of service. Analysis of non-functional properties requires a precise formal semantics for the language in which the system is written; but labelled transition systems and trace semantics, which are comm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1988
ISSN: 0028-0836,1476-4687
DOI: 10.1038/335759a0